JENNIFER A. DUNNE Email: • Phone: (Santa Fe Institute • 1399 Hyde Park Road • Santa Fe, NMwww.santafe.edu/about/people/profile/Jennifer A. Dunne CURRENT POSITIONS

Source URL: www.santafe.edu

• Systems science
• Ecological network
• Networks
• Systems theory
• Formal sciences
• Santa Fe Institute
• Food web
• Theoretical ecology
• Ecosystem
• Biology
• Ecology
• Science

PDF Document

Source URL: www.esterel-technologies.com

• Hardware description languages
• Synchronous programming languages
• Formal methods
• Technology
• Science
• Systems engineering
• Lustre
• Esterel Technologies
• Software development
• Safety

PDF Document

Source URL: www.stanfordlawreview.org

• Database management systems
• Database theory
• Transaction processing
• Human rights
• Formal sciences
• Privacy
• Surveillance
• Internet privacy
• Geographic information system
• Data management
• Technology
• Ethics

PDF Document

Source URL: www.sscnet.ucla.edu

• Formal systems
• Concepts
• Mathematical logic
• Axiomatic system
• Axiom
• Mathematical proof
• Complexity
• Theory
• Economic model
• Mathematics
• Logic
• Structure

PDF Document

Source URL: www.noblesys.com

• Software development process
• Software engineering
• Noble Systems Corporation
• Implementation
• Transition methodology
• Needs assessment
• Project management
• Computing
• Knowledge
• Formal methods
• Science
• Methodology

PDF Document

Source URL: hortonworks.com

• Software
• Free software
• Hadoop
• Apache Hadoop
• Business intelligence
• Formal sciences
• Analytics
• Cisco Systems
• Pentaho
• Computing
• Cloud infrastructure
• Cloud computing

PDF Document

Source URL: gotocon.com

• Database management systems
• Database theory
• Information
• Emerging technologies
• Big data
• Transaction processing
• McKinsey & Company
• Exabyte
• Data mining
• Data management
• Technology
• Formal sciences

ADULT EDUCATION PROVIDERS CAN IMPROVE VALIDATION SYSTEMS IN EUROPE Susana Oliveira, KERIGMA Validation of non-formal and informal learning is gradually more seen as a way of improving lifelong learning and well being. Mo

Source URL: www.eaea.org

• Knowledge
• Educational psychology
• Nonformal learning
• Validity
• Validation
• Lifelong learning
• Education
• Learning
• Pharmaceutical industry

MIMIC – “Minimizing risks of maritime oil transport by holistic safety strategies” (CB 38) Open Days seminar, Tallinn, 3 October 2012 The Concept of Smart Response integrating the safety and security R. Aps

Source URL: www.merikotka.fi

• Formal methods
• Systems engineering
• Dependability
• Life-critical system
• Computer security
• Security
• Prevention
• Safety

Crane systems CERTEX A/S tilbyder kranløsninger til et hvert formål og behov. Kranløsninger fra letløbende kranskinne systemer til traverskraner med stor løftekapacitet. CERTEX A/S offers cranesolutions for any pur

Source URL: www.certex.dk